#ifndef SYNCDBG_H
#define SYNCDBG_H
/*syncdbg.c 
	  560  * add by hejian
	  561  */
extern unsigned long long gettsc(void);
extern int init_sync_(void);
extern int finish_sync_(void);
extern int before_sync_(void);
extern int after_sync_(void);
extern unsigned gettid(void);
#endif
